$\forall$$r$,$s$,$t$:rationals. (($r$ + $s$) + $t$) = ($r$ + ($s$ + $t$)) $\in$ rationals